321. Purity, spectra and localisation /
المؤلف: Mike Prest
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Logic, Symbolic and mathematical
رده :
QA150
.
P74
2009
322. Quantum Measures and Spaces
المؤلف: by Gudrun Kalmbach.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
323. Random Sets
المؤلف: edited by John Goutsias, Ronald P. S. Mahler, Hung T. Nguyen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Distribution (Probability theory).,Logic, Symbolic and mathematical.,Mathematics.
324. Reading, Writing, and Proving :
المؤلف: by Ulrich Daepp, Pamela Gorkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Mathematical Logic and Foundations.,Mathematics.,Number Theory.,Analysis.,Global analysis (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Number theory.
رده :
QA8
.
9-10
.
3
325. Recent Advances in Applications of Computational and Fuzzy Mathematics /
المؤلف: Snehashish Chakraverty, Sanjeewa Perera, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64
326. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
المؤلف: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
327. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand
المؤلف: / Par Jacques Fauve
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy
رده :
149
.
94
Wi-R
328. Semi-Markov Models and Applications
المؤلف: edited by Jacques Janssen, Nikolaos Limnios.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Number theory.,Statistics.,Systems theory.
329. Semirings and Affine Equations over Them: Theory and Applications
المؤلف: by Jonathan S. Golan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
330. Semirings and their Applications
المؤلف: by Jonathan S. Golan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
331. Serial Rings
المؤلف: by Gennadi Puninski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra.,Logic, Symbolic and mathematical.,Mathematics.
332. Set Theory
المؤلف: edited by Carlos Augusto Prisco, Jean A. Larson, Joan Bagaria, A. R. D. Mathias.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Global analysis (Mathematics).,Logic, Symbolic and mathematical.,Mathematics.,Topology.
333. Sets, logic and categories
المؤلف: Cameron, Peter Jephson
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
334. Sets, logic, and categories
المؤلف: Cameron, Peter Jephson
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1999
335. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J. )Peter Jephson(
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
336. Sets, logic and categories
المؤلف: Cameron, Peter Jephson, 7491-
المکتبة: (طهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
337. Sets, logic, and categories
المؤلف: Cameron, Peter J.)Peter Jephson(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
338. Sets, logic, and categories
المؤلف: Cameron, Peter Jephson
المکتبة: (سمنان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
339. Special Topics in Mathematics for Computer Scientists
المؤلف: \ Ernst-Erich Doberkat
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
340. Strukturtypen der Logik
المؤلف: von Wolfgang Stegmüller, Matthias Varga Kibéd.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
V669
1984